Previous | 
Home
Section: Dissemination
Teaching - Supervision - Juries
Teaching
Nathalie Bertrand
Master : Techniques de vérification avancées, 10h, niveau M2, ISTIC, Université de Rennes 1.
Agrégation : Langages formels, 16h, niveau M2, ENS-Cachan-Antenne de Bretagne.
Sébastien Chédor
Licence : Programmation Java, 20h, niveau L2, ISTIC, Université de Rennes 1.
APF, 20h, niveau L1, ISTIC, Université de Rennes 1.
Initiation LaTeX, 6h, niveau L3, ENS-Cachan-Antenne de Bretagne.
Programmation, 20h, niveau L3, ENS-Cachan-Antenne de Bretagne.
Paulin Fournier
Christophe Morvan
Licence : Object Oriented programming with Java, 120h, niveau L2, Université de Marne-la-Vallée.
Systèmes d'exploitation (Cours), 36h, niveau L3, Université de Marne-la-Vallée.
Compilation (Cours-TD), 60h, niveau L3, Université de Marne-la-Vallée.
Amélie Stainer
Licence : Base de données (Cours-TD-TP), 28h, niveau L2, INSA-Rennes.
Agrégation : Modélisation (Cours), 11h, niveau M2, ENS-Cachan-Antenne de Bretagne.
Oraux blancs, 12h, niveau M2, ENS-Cachan-Antenne de Bretagne.
Préparation de leçons d'informatique, 10h, niveau M2, ENS-Cachan-Antenne de Bretagne.
Supervision
PhD in progress: Sébastien Chédor, Verification and test of systems modeled by regular graphs, started in September 2009, supervised by Christophe Morvan and Thierry Jéron.
PhD in progress: Paulin Fournier, Parameterized Verification of probabilistic systems, started in September 2012, supervised by Nathalie Bertrand and Thierry Jéron.
PhD in progress: Srinivas Pinisetty, Runtime validation of critical control-command systems, started in December 2011, supervised by Hervé Marchand and Thierry Jéron.
PhD in progress: Amélie Stainer, Quantitative verification of timed automata, started in October 2010, supervised by Nathalie Bertrand and Thierry Jéron.
Juries
Nathalie Bertrand was a member of the PhD defense jury of Youssouf Oualhadj (LaBRI, Bordeaux) in december 2012.